1

Cut-elimination and interpolation for Ω-logic

Year:
1988
Language:
english
File:
PDF, 679 KB
english, 1988
3

Cut elimination for the unified logic

Year:
1993
Language:
english
File:
PDF, 1.18 MB
english, 1993
5

Ordinals I: Basic notions

Year:
1996
Language:
english
File:
PDF, 1.05 MB
english, 1996
6

Ordinals II: Some applications and a functorial approach

Year:
1996
Language:
english
File:
PDF, 1.11 MB
english, 1996
22

Generating plans in linear logic: I. actions as proofs

Year:
1993
Language:
english
File:
PDF, 1.33 MB
english, 1993
27

Selective radical synthesis of β-C-disaccharides

Year:
2001
Language:
english
File:
PDF, 91 KB
english, 2001
30

Linear logic as a tool for planning under temporal uncertainty

Year:
2011
Language:
english
File:
PDF, 366 KB
english, 2011
47

Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.

Year:
1985
Language:
english
File:
PDF, 479 KB
english, 1985